1

Safe inductions and their applications in knowledge representation

Year:
2018
Language:
english
File:
PDF, 516 KB
english, 2018
7

Grounded fixpoints and their applications in knowledge representation

Year:
2015
Language:
english
File:
PDF, 611 KB
english, 2015
8

Erratum to splitting an operator

Year:
2007
Language:
english
File:
PDF, 54 KB
english, 2007
9

Splitting an operator

Year:
2006
Language:
english
File:
PDF, 316 KB
english, 2006
10

A principled approach to defining actual causation

Year:
2016
Language:
english
File:
PDF, 588 KB
english, 2016
21

The use of thermal analysis in water treatment related problems

Year:
1988
Language:
english
File:
PDF, 243 KB
english, 1988
22

Alkaline fuel cells for road traction

Year:
1999
Language:
english
File:
PDF, 424 KB
english, 1999
27

FO(ID) as an extension of DL with rules

Year:
2010
Language:
english
File:
PDF, 633 KB
english, 2010
40

Emerging concepts for the role of TRP channels in the cardiovascular system

Year:
2011
Language:
english
File:
PDF, 235 KB
english, 2011
44

TRPM4 regulates migration of mast cells in mice

Year:
2009
Language:
english
File:
PDF, 593 KB
english, 2009
46

Current understanding of mammalian TRP homologues

Year:
2002
Language:
english
File:
PDF, 246 KB
english, 2002